Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description 邏輯綜合的功能是對組合邏輯函數的描述進行轉換和優化,生成與邏輯功能描述等價的優化的邏輯級純結構描述。
3 ) give the reduct algorithm and improved algorithm based on discernibility matrices . 4 ) give the algorithm of rules . 5 ) in this thesis , by using rs theory in the synthesis of combinational logic function , we can get minimal expression of logic function ; if by using rs theory in the rough control of boiler , we can get rough control rules 對于前人提出的差別矩陣和差別函數的概念和定義,將其應用于信息系統中,用差別函數得到了最小約簡,然后,通過研究差別矩陣和差別函數的構造過程,提出了對差別矩陣降階和消元的策略,實例證明是有效的,起到了化簡差別矩陣和差別函數的目的; 4